<?php
$z[0]=Array("global","",142,167);
$z[0][4]['name']="autoindex";
$z[1]=Array("arcurl","",243,258);
$z[2]=Array("title","",284,298);
$z[3]=Array("typeurl","",367,384);
$z[4]=Array("typename","",386,404);
$z[5]=Array("arcurl","",420,435);
$z[6]=Array("title","",437,451);

?>